$\forall$$M$:MsgA. $M$.Msg $\in$ Type